verifying trigonometric identities